Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
531	PDF Document Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Deduction Deduction theorem Mathematical logic Proof theory Number theory Finite fields Mathematics
532	Microsoft Word - M2_Notes_Eng_20101026 Add to Reading List Source URL: www.edb.gov.hk Language: English - Date: 2012-11-25 13:28:34 Algebraic structures Inductive reasoning Mathematical induction Proof theory Pi Mathematical proof Irrational number Trigonometric functions Emmy Noether Mathematics Mathematical analysis Mathematical logic
533	A Framework for Defining Logics Robert Harper∗ Furio Honsell† Gordon Plotkin‡ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:06 Logic in computer science Proof theory Dependently typed programming Type theory Deduction Natural deduction Curry–Howard correspondence Logical framework Symbol Logic Mathematics Mathematical logic
534	Soundness and its Role in Bug Detection Systems Yichen Xie Mayur Naik Brian Hackett Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-07-07 17:38:30 Proof theory Software engineering Soundness Mathematical logic Usability Programming language Type system Compiler optimization Software bug Deduction Logic Model theory
535	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Vilhelm Sjöberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematics
536	Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems Koji Nakazawa∗ Makoto Tatsuta† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:32 Mathematics Proof theory Lambda calculus Type theory Natural deduction Symbol Entailment System F Curry–Howard correspondence Logic Mathematical logic Deduction
537	Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1 , Colleen Lee1 , Alex Aiken1 , Michael Bernstein1 , Daphne Koller1 , Eric Smith2 Stanford University1 , Kestrel Institute2 {ethan.fast, clee0, aiken, msb Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-07-11 01:52:09 Proof theory Automated theorem proving Mathematical logic Theorem Formal proof First-order logic LL parser Parsing Syntax Logic Logical syntax Formal languages
538	A concentration inequality for the overlap of a vector on a large set, with application to the communication complexity of the Gap-Hamming-Distance problem Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-08-28 19:20:30 Normal distribution Proof theory Measure theory Dyadic cubes Ordinal arithmetic Mathematical analysis Statistics Gaussian measure
539	Improved Soundness for QMA with Multiple Provers Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-01-14 01:47:53 Quantum complexity theory QMA Probabilistic complexity theory Proof theory Model theory IP Probabilistically checkable proof Cook–Levin theorem Time complexity Theoretical computer science Computational complexity theory Applied mathematics

UPDATE